Using dynamic logic programming to model legal reasoning
نویسندگان
چکیده
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and to model laws produced by distinct entities with different priorities at different time points. In this paper we propose the use of dynamic logic programming to model these legal dynamic situations. Some examples are discussed and the implementation of a legal oracle server is described.
منابع مشابه
How to model legal reasoning using dynamic logic programming: a preliminary report
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and to model laws produced by distinct entities with different priorities at different time points. In this paper we propose the use of dynamic logic programming to model these legal dynamic situations. Some examples are ...
متن کاملTranslating Case-Based Reasoning into Abductive Logic Programming
This paper presents a translation method of casebased reasoning which changes similarity according to context into abductive logic programming based on a generalized stable model semantics [5]. This kind of dynamic similarity can be found in CBR systems for legal reasoning such as HYPO [1]. Abductive logic programming is suitable to implement this dynamic similarity by regarding abducible predi...
متن کاملUsing Defeasible Logic Programming for Argumentation-Based Decision Support in Private Law
Legal reasoning is one of the most obvious application areas for computational models of argumentation as the exchange of arguments and counterarguments is the established means for making decisions in law. In this paper we employ Defeasible Logic Programming (DeLP) for representing legal cases and for giving decision-support, exemplary for private law. We give a formalization of legal provisio...
متن کاملA Default-Logic Framework for Legal Reasoning in Multiagent Systems
Using law and evidence to achieve fair and accurate decisions in numerous legal cases requires a complex multiagent system. This paper discusses a framework based on many-valued, predicate, default logic that successfully captures legal knowledge, integrates and evaluates expert and non-expert evidence, coordinates agents working on different legal problems, and evolves the knowledge model over...
متن کاملReasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming
To treat dynamic preferences correctly is inevitably required in the legal reasoning. In this paper, we present a method which enables us to handle some class of dynamic preferences in the framework of circumscription and to compute consistently its metalevel and object-level reasoning by expressing them in an extended logic program. This is achieved on the basis of policy axioms and priority a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003